include cmdline.e namespace cmdline public constant EXTRAS
The extra parameters on the cmd line, not associated with any specific option. See cmd_parse